Title	Bizarre Approaches For Multimodal Biometrics
Author	Aloysius George
Citation	Vol. 8  No. 7  pp. 64-69
Keywords	Multimodal, Biometric System, Face Recognition, Locality, Verification.

Title	Deadlock Detection in Discrete Concurrent Systems
Author	Ahmad A. Al-Rababah
Citation	Vol. 8  No. 9  pp. 327-331
Keywords	Discrete systems, state spaces, sequent automaton, concurrency, deadlocks, verification.

Title	Process Calculus and Horn Clauses-Based Deduction in the Verification of Security Protocols
Author	Nguyen Truong Thang, Khuat Thanh Son
Citation	Vol. 20  No. 5  pp. 11-17
Keywords	Undecidability, security protocols, process calculus, Horn clauses, formal verification.

Title	Formal Analysis of Distributed Shared Memory Algorithms
Author	Muhammad Atif, Muhammad Adnan Hashmi, Mudassar Naseer, and Ahmad Salman Khan
Citation	Vol. 24  No. 4  pp. 192-196
Keywords	Virtual memory, Distributed Algorithm, Formal Specification, Verification.